Wyniki
-
Axiomatic proofs through automated reasoning
Branden Fitelson, Larry Wos
Bulletin of the Section of Logic , 29 /3 (2000) s. 125-136 -
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
Larry Wos, Dolph Urlich, Branden Fitelson
Bulletin of the Section of Logic , 32 /3 (2003) s. 131-136 -
Jak nie należy wykrywać projektu
Branden Fitelson, Christopher Stephens, Elliott Sober
Filozoficzne Aspekty Genezy (Philosophical Aspects of Origin) 4/5 (2007/2008) s. 53-80 -
A Concise Axiomatization of RM->
Zachary Ernst, Branden Fitelson, Kenneth Harris, Larry Wos
Bulletin of the Section of Logic , 30 /4 (2001) s. 191-195